Multi-Core By Default
rfleury.com·17h·
Discuss: Lobsters, Hacker News
🧵Concurrency
Experimenting with ACL2 and Claude Code
mikedodds.org·6h·
Discuss: Hacker News
💻Programming languages
Item Patterns and Struct Await
noratrieb.dev·13h·
Discuss: Hacker News
🦀Rust
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·9h
🔬RaBitQ
Iterated Development and Study of Schemers (IDSS)
lesswrong.com·4h
🆕New AI
Introducing modrpc, a modular RPC framework
reddit.com·5h·
Discuss: r/rust
📋MCP
When Python can't thread: a deep-dive into the GIL's impact
pythonspeed.com·7h·
Discuss: Hacker News
🧵Concurrency
Effects in Rust (and Koka)
aloso.foo·19h·
Discuss: r/rust
🦀Rust
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·18h·
Discuss: Hacker News
🔐Cryptography
Implementing ZADD If Key Exists
rozumem.xyz·13h·
Discuss: Hacker News
🔒Borrow Checker
Looking at my Arduino
boswell.bearblog.dev·2h
🖥️Hardware Architecture
GoMem is a high-performance memory allocator library for Go
github.com·16h
🧠Memory Allocators
Three ways formally verified code can go wrong in practice
buttondown.com·1h
💻Programming languages
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·19h·
Discuss: Hacker News
🚀Async Optimization
Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
💻Programming languages
The Parable of the Locksmith and the Merchant
sinicapodcast.com·5h
⏳Tech History
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·2h
✨Code Aesthetics
Here’s How Software Makers Can Stay in the Game Even While on the Bench
spin.atomicobject.com·7h
⚡Developer Experience
Linear Risk Sharing on Networks
freakonometrics.hypotheses.org·20h
🌐Distributed systems
Open Lineage
usenix.org·15h
📘Typescript